Books by author Amir Pnueli

Showing 1 – 8 out of 8 results

1. 

   Temporal Verification of Reactive Systems

   Zohar Manna, Amir Pnueli | Springer, Berlin, 1995

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Hardback

   120.80 €

   Buy
2. 

   Temporal Logic in Specification

   Benham Banieqbal, Howard Barringer, Amir Pnueli | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.30 €

   Buy
3. 

   Perspectives of Systems Informatics

   Amir Pnueli, Irina Virbitskaite, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.30 €

   Buy
4. 

   The Temporal Logic of Reactive and Concurrent Systems

   Zohar Manna, Amir Pnueli | Springer, Berlin, 2012

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.30 €

   Buy
5. 

   Temporal Verification of Reactive Systems

   Zohar Manna, Amir Pnueli | Springer-Verlag New York Inc., 2012

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   131.67 €

   Buy
6. 

   Compositionality: The Significant Difference

   Hans Langmaack, Amir Pnueli, Willem-Paul De Roever | Springer, Berlin, 1998

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   120.80 €

   Buy
7. 

   Temporal Logic of Reactive and Concurrent Systems

   Zohar Manna, Amir Pnueli | Springer-Verlag New York Inc., 1991

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Hardback

   131.67 €

   Buy
8. 

   Hybrid Systems: Computation and Control

   Freek Wiedijk, Oded Maler, Amir Pnueli | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   120.80 €

   Buy

Books can be collected at many points all over Slovakia. Find out more